-
1 Church thesis
в 1930-х годах математик Алонсо Чёрч (Alonzo Church) из Принстонского университета предложил важный принцип, названный тезисом Чёрча. В соответствии с ним весь класс вычислимых функций над целыми числами (иногда их называют частично-рекурсивными функциями, partial recursive function) может быть вычислен на любом вычислительном устройстве общего типа, в частности, на машине Тьюринга (Turing machine)Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > Church thesis
-
2 Church thesis
English-Russian dictionary of computer science and programming > Church thesis
См. также в других словарях:
Тезис Чёрча — Тезис Чёрча Тьюринга Дойча, в информатике и квантовой физике, известный также как CTD принцип (по аббревиатуре от англ. Church, Turing, Deutsch), или как сильный тезис Чёрча Тьюринга более строгая в физическом смысле… … Википедия
Тезис Чёрча — Тьюринга — фундаментальное утверждение для многих областей науки, таких, как теория вычислимости, информатика, теоретическая кибернетика и др. Это утверждение было высказано Алонзо Чёрчем и Аланом Тьюрингом в середине 1930 х годов. В самой общей форме оно… … Википедия
Тезис Чёрча-Тьюринга — … Википедия
Тезис Чёрча—Тьюринга — … Википедия
ТЕЗИС — (греч. thesis положение, утверждение) 1) в логике Т. называется утверждение, подлежащее доказательству; 2) в теории аргументации Т. положение, которое доказывающая сторона находит нужным внушить аудитории, сделать составной частью ее убеждений;… … Философская энциклопедия
ЧЁРЧА ТЕЗИС — принцип, согласно к рому класс функций, вычислимых с помощью алгоритмов в широком интуитивном смысле, совпадает с классом частично рекурсивных функций. Ч. т. это естественнонаучный факт, подтверждаемый опытом, накопленным в математике за всю ее… … Математическая энциклопедия
Цифровая физика — Цифровая физика, в физике и космологии, совокупность теоретических взглядов, проистекающих из допущения, что Вселенная по сути описывается информацией и, следовательно, является вычислимой. Из данных предположений следует то, что… … Википедия
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия
Теория алгоритмов — Теория алгоритмов наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач,… … Википедия
ЧЁРЧ — (Church) Алонзо (р. 14.6.1903, Вашингтон), амер. логик и математик. Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории вычислимых… … Философская энциклопедия
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия